This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. (...) The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. -/- The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches. (shrink)

Any plausibly just market exchange must balance two conflicting moral considerations: non-worseness (Wertheimer, 1999) and euvoluntariness (true voluntariness; Munger, 2011). We propose an analytical theory of just market exchange that partly resolves this conflict.

In contrast to individualistic explanations of social injustice that appeal to implicit attitudes, structural explanations are unintuitive: they appeal to entities that lack clear ontological status, and the explanatory mechanism is similarly unclear. This makes structural explanations unappealing. The present work proposes a structural explanation of one type of injustice that happens in conversations, discursive injustice. This proposal meets two goals. First, it satisfactorily accounts for the specific features of this particular kind of injustice; and second, it articulates a structural (...) explanation that overcomes their unattractiveness. The main idea is that discursive injustice is not the result of biased interlocutors, but of problematic discursive norms. (shrink)

In this paper I present a formalization of the theory of ideal concepts applied to the concept of God. It is done within a version of the Simplest Quantified Modal Logic (SQML) and attempts to solve three meta-problems related to the concept of God: the unicity of extension problem, the homogeneity/heterogeneity problem and the problem of conceptual unity.

In this chapter, Ricardo Silvestre and Alan Herbert offer a reconstruction of the Gītā’s concept of God with a focus on the relationship between God and the world. They try to explain the claim that the Gītā is panentheistic. This is done with the help of some key notions of contemporary metaphysics (such as ontological dependence and fundamentality) along with the Indic notion of prakṛti, considered as a metaphysical primitive denoting the intimate relationship that exists between matter and conscious (...) living beings on the one hand, and God on the other. (shrink)

In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...) start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God. (shrink)

The purpose of this paper is twofold. First, it aims at introducing the ontological argument through the analysis of five historical developments: Anselm’s argument found in the second chapter of his Proslogion, Gaunilo’s criticism of it, Descartes’ version of the ontological argument found in his Meditations on First Philosophy, Leibniz’s contribution to the debate on the ontological argument and his demonstration of the possibility of God, and Kant’s famous criticisms against the (cartesian) ontological argument. Second, it intends to critically examine (...) the enterprise of formally analyzing philosophical arguments and, as such, contribute in a small degree to the debate on the role of formalization in philosophy. My focus will be mainly on the drawbacks and limitations of such enterprise; as a guideline, I shall refer to a Carnapian, or Carnapian-like theory of argument analysis. (shrink)

In this essay, I focus on Lugones’s relatively lesser explored notion of playfulness. I weigh in on the debate about whether playfulness is necessary for what Lugones calls “world-traveling,” which enables one to recognize another person as a full subject. I argue that although the attribute of playfulness may not be necessary for world-traveling, it is necessary for collaborative world-making––creating a new, shared world that is opened through the activity of play.

The so-called theory of karma is one of the distinguishing aspects of Hinduism and other non-Hindu south-Asian traditions. At the same time that the theory can be seen as closely connected with the freedom of will and action that we humans supposedly have, it has many times been said to be determinist and fatalist. The purpose of this paper is to analyze in some deepness the relations that are between the theory of karma on one side and determinism, fatalism and (...) free-will on the other side. In order to do that, I shall use what has been described as the best formal approach we have to indeterminism: branching time theory. More specifically, I shall introduce a branching time semantic framework in which, among other things, statements such as “state of affairs e is a karmic effect of agent a”, “a wills it to be the case that e” and “e is inevitable” could be properly represented. (shrink)

Dear Editors, -/- I found the content of your editorials to be highly intriguing [1,2]. Scientific journals are witnessing a growing prevalence of publications related to artificial intelligence (AI). Three letters to the editor were recently published in your journal [3-5]. The renowned journal Nature has dedicated approximately 25 publications solely to the subject of ChatGPT. Moreover, a quick search on Pubmed using the term "ChatGPT" yields around 900 articles, with the vast majority originating in 2023. These statistics underscore the (...) substantial interest of the scientific community in this area. -/- AI, especially the ChatGPT tool and the recent Bard, have faced criticism and been portrayed as significant adversaries of science. It is evident that many authors or researchers, who may not be well-versed in writing, can greatly benefit from these tools, as mentioned earlier. Without taking a contrarian stance, one should consider the potential advantages of such technologies for researchers in less privileged regions, where access to new technologies is limited, and local or regional challenges abound [6]. AI cannot be confounded with other technologies, as it specifically focuses on replicating human-like intelligence and decision-making processes, rather than simply automating tasks or improving performance based on data patterns. -/- The translation into English poses challenges due to the dominance of English in worldwide publications, with over 95% of articles being published in this language, and even reaching 98% in some fields. Although this manuscript was partially translated using AI, it can still benefit researchers from non-native English regions. Even simple tasks like text editing can be problematic for researchers in underprivileged areas. AI can play a crucial role in the evolution of online lectures and classes, providing valuable support for African maxillofacial surgeons who lack the luxury of taking breaks from work to update their knowledge, as they may be the only available option [7]. One of the remarkable features of AI is its ability to discover knowledge gaps. The use of simple tools like reference organizers is rapidly evolving and can become automated or semi-automated through AI. However, we must carefully consider whether we should refrain from relying too heavily on AI in certain cases, as this could be seen as a significant regression. -/- On the other hand, we must be cautious about freely allowing AI tools to circulate in scientific journals and books without proper regulation [8]. Currently, accurately identifying texts generated by AI is challenging, and their effectiveness remains relatively low, at less than 30%. This means that only about 30 out of every 100 texts can be confidently classified as AI-generated. The technology must advance further to increase detection accuracy or at least raise suspicion. Academic journals no longer view authors acknowledging artificial intelligence tools as co-authors in their research favorably. This is crucial to prevent certain unscrupulous individuals, such as "false prophets," charlatans, and flat-earthers, from infiltrating the realm of science, potentially impeding the progress of serious research conducted by professionals dedicated to advancing humanity through science. -/- It is essential to keep in mind that AI does not generate anything novel. Human authors can not be fully substituted [9]. In research involving groundbreaking concepts, innovations, case reports, or technical notes, the use of AI tends to be less frequent due to its lack of capability in creating innovative outcomes. On the other hand, reviews, whether narrative, systematic, or scoping, are based on existing publications. To address potential fraudulent practices, editors, reviewers, and journals themselves should exercise greater vigilance and apply more stringent filters for this type of publication. -/- An article from over a decade ago already discussed the professions most susceptible to replacement by computerization [10]. Maxillofacial surgeons, physicians, dentists, and psychologists are among the professions that are less likely to be displaced. This position can be attributed to the significant level of patient-professional interaction, the development of specific manual skills over time, and the ability to make adaptable decisions during procedures. These intricacies pose formidable challenges for AI to grasp, regardless of its level of advancement. -/- We should maintain a composed yet vigilant stance at this juncture. Just as Portuguese navigators feared encountering serpents and sea monsters when they ventured into uncharted waters, the uncertainty and novelty of AI can evoke apprehension in us all. Nonetheless, we must embrace the benefits that AI can offer while imposing strict regulations and appropriate penalties to prevent any potential abuses carried out "in the name of science." -/- Sincerely yours,. (shrink)

Panentheism has seen a revival over the past two decades in the philosophical literature. This has partially triggered an interest in Indian models of God, which have traditionally been seen as panentheistic. On the other hand, panentheism has been often associated with panpsychism, an old ontological view that sees consciousness as fundamental and ubiquitous in the natural world and which has also enjoyed a renaissance in recent decades. Depending on where one places fundamentality (whether on the microlevel or on the (...) cosmic-level) there will be two types of panpsychism: micropsychism and cosmopsychism. Despite the apparently rich connection between Indian traditions and panpsychism, especially in its cosmopsychist version, recent work within cross-cultural analytic philosophy of mind seems to be mostly focused on atheistic traditions, such as Advaita Vedānta and Buddhism. My goal in this paper is to contribute to the cross-cultural debate over panentheism and Indian models of God, as well as to the debate on the connections between panpsychism, cosmopsychism and Indian traditions, by examining one of the most important and often quoted texts in Indian religious and philosophical traditions: the theistic Bhavagad Gītā. From a more specific standpoint, the paper has a threefold goal: to offer a panentheistic reconstruction of the Gītā’s concept of God, to show how this panentheistic model of God entails a form of theistic cosmopsychism, and to locate the Gītā’s cosmopsychism within a broader map of cosmopsychist views. Based on this reconstructive analysis of the Gītā’s cosmopsychism, I also outline some few reflections on the philosophical prospects of theistic cosmopsychism. (shrink)

O objetivo deste artigo é analisar o conceito de yoga da Bhagavad-gītā. Cinco concepções de yoga encontradas no texto são descritas: yoga enquanto disciplina ou prática, yoga enquanto disciplina qualificada, yoga enquanto estado mental de equanimidade e renúncia, yoga enquanto estado de união e yoga enquanto poder místico. As relações existentes entre essas concepções são explicitadas e o que podemos chamar de a estrutura do yoga na Bhagavad-gītā é pormenorizada.

This article discusses the category of foreigner in the context of academia. In the first part I explore this category and its philosophical significance. A quick look at the literature reveals that this category needs more attention in analyses of dimensions of privilege and disadvantage. Foreignness has peculiarities that demarcate it from other categories of identity, and it intersects with them in complicated ways. Devoting more attention to it would enable addressing issues affecting foreigners in academia that go commonly unnoticed. (...) In the second part of the article I argue that current efforts to make academia a more inclusive environment should address the disadvantages that many foreign academics face. I focus on two senses of foreigner: working and living in a country that is not your country of origin, and being a nonnative speaker of the language in which you work. (shrink)

This paper aims at examining the issue of the role of supreme being theology in non-Abrahamic traditions. According to the dominant view in contemporary philosophy of religion, the philo-sophical project of inferring divine properties from the concept of God as a maximally perfect being, usually called supreme being theology, is an exclusivity of the Abrahamic traditions. In attempting to question this view, I investigate the developments of two key-concepts of Vedāntatradition –the concepts of Brahman (literally, the greatest) and Bhagavān (literally, (...) the possessor of all excellences) –in thethought of three famous vedantins: Śaṅkara, Rāmānuja and Jīva. (shrink)

Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teoria, mas que vai de encontro à previsão da mesma. Uma abordagem clássica para restaurar o poder explicativo de uma teoria ameaçada por uma anomalia é a postulação de hipóteses novas e provisórias que, em conjunto com as demais hipóteses auxiliares originais, sejam capazes (...) de resolver a anomalia. Após chegar à algumas conclusões sobre a estrutura de tal processo, propomos um framework lógico multimodal e não-monotônico capaz de representar alguns aspectos-chave dessa faceta importante da dinâmica de teorias científicas. Devido à necessidade de acomodar hipóteses provisórias incompatíveis, esse framework incorpora uma forma fraca de paraconsistência. Como um estudo de caso, analisamos o comportamento anômalo do planeta Urano que ameaçou a mecânica celeste Newtoniana por mais de meio século e ensejou a descoberta do planeta Netuno. -/- In this work, an investigation of what could be called the logical formalization of the theory change process due to anomalies is presented. An anomaly is understood as an observed fact that is part of the explanatory scope of a theory, but that goes against its prediction. A classic approach to restoring the explanatory power of a theory threatened by an anomaly is to postulate new and provisional hypotheses that, together with the other original auxiliary hypotheses, are capable of resolving the anomaly. After reaching some conclusions about the structure of such a process, we propose a multimodal and non-monotonic logical framework capable of representing some key aspects of this important facet of the dynamics of scientific theories. Due to the need to accommodate incompatible provisional hypotheses, this framework incorporates a weak form of paraconsistency. As a case study, we analyze the anomalous behavior of the planet Uranus that threatened Newtonian celestial mechanics for more than half a century and prompted the discovery of the planet Neptune. (shrink)

This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, by John Rushby; A Tractarian Resolution (...) to the Ontological Argument, by Erik Thomsen; On Kant’s Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument, by Giovanni Mion; The Totality of Predicates and the Possibility of the Most Real Being, by Srećko Kovač; An Even More Leibnizian Version of Gödel’s Ontological Argument, by Kordula Świętorzecka and Marcin Łyczak; A Case Study On Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument, by David Fuenmayor. (shrink)

Inspired by the early Wittgenstein’s concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski’s semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While an expression will (...) be considered formally nonsensical if the formal criteria required for the assignment of any truth-value (whether true, false, pragmatically true, or pragmatically false) to such sentence are not met, a (well-formed) formula will be considered pragmatically nonsensical if the pragmatic criteria (inscribed within the context of scientific practice) required for the assignment of any truth-value to such sentence are not met. Thus, in the context of the theory of pragmatic truth, any (well-formed) formula of a formal language interpreted on a simple pragmatic structure will be considered pragmatically nonsensical if the set of primary sentences of such structure is not well-built, that is, if it does not include the relevant observational data and/or theoretical results, or if it does include sentences that are inconsistent with such data. (shrink)

Is there a choice in sexual orientation? [Wilkerson, William S. : “Is It a Choice? Sexual Orientation as Interpretation”. In: Journal of Social Philosophy 40. No. 1, p. 97–116] argues that sexual desires require interpretation in order to be fully constituted, and therefore sexual orientation is at least partially constituted by choice. [Díaz-León, Esa : “Sexual Orientation as Interpretation? Sexual Desires, Concepts, and Choice”; In: Journal of Social Ontology] critically assesses Wilkerson’s argument, concluding that we still lack a good argument (...) for the claim that choice plays a role in sexual orientation. Here I examine Díaz-León’s response to Wilkerson. I introduce what I call the conceptual act theory of sexual orientation, and argue that even if interpretation were not necessary to constitute sexual desires, it is a necessary element to constitute what we call sexual orientation. However, I conclude that even if we agree that interpretation is involved in sexual orientation, it does not follow that there is a choice involved. (shrink)

El Realismo Científico Estándar sostiene el enfoque metafísico de que el mundo es como es independiente de la mente. Sin embargo, el presente artículo demuestra cómo esta postura es incompatible con todas las teorías no-eliminativistas sobre la mente, lo cual hace que la postura sea inconsistente, incompatible con la ciencia, elimina la consciencia, la intencionalidad, la causación mental y la ética. Se propone una tesis realista alternativa que conserva la idea de que el mundo en general es de la forma (...) que es, independiente de lo que pensemos sobre él, compatible con la mente como parte real del mundo. Este cambio restaura la posibilidad de consistencia, la mente, la consciencia, la intencionalidad, la ciencia y la ética. -/- Standard Scientific Realism holds the metaphysical view that the world is the way it is independent of the mind. However, this paper demonstrates how this view is incompatible with all non-eliminativist theories of mind, leading it to be inconsistent, incompatible with science, and eliminating consciousness, intentionality, mental causation and ethics. An alternative realist thesis is proposed which preserves the idea that generally the world is the way it is independent of what we think of it, compatible with mind as a real part of the world. This reform restores the possibility of consistency, mind, consciousness, intentionality, science and ethics, while at the same time preserving the theoretical advantages over non-realist competitors. (shrink)

Cette étude défend l’idée que, contrairement à l’opinion de Latour sur la nécessité de laisser de côté l’épistémologie pour traiter de tout ce qui a de la valeur pour la science, Mario Bunge a systématiquement construit une épistémologie détaillée et approfondie. La stratégie argumentative consistera à montrer (a) qu’il est faux que nous n’avons jamais été modernes (b) que l’épistémologie est là pour de bon et (c) que Mario Bunge soutient un réalisme scientifique fort, une version du matérialisme, du systémisme (...) et de l’émergentisme, comportant une dimension morale (il existe des valeurs objectives comme la vérité, la paix et la justice qui méritent d’être étudiées). Ensuite, le réalisme de Bunge rejette la neutralité axiologique rendant les scientifiques responsables de leurs actions. Bunge a toujours été moderne et continue à enrichir ses propres positions. (shrink)

Why I thought it useful to offer an explanation of Hegel’s doctrine on the Incarnation was so that the reader may be empowered to identify Hegel’s influence in modern accounts of this mystery. Even if, in my view, Hegel’s interpretation of revealed religion differs greatly from Catholic Doctrine, it is not surprising to find the presence of some of his concepts in modern theology. In truth, what matters is not the theologian’s self-identification as Hegelian or as non-Hegelian, but whether or (...) not the theologian adopts Hegel’s concepts. This paper offers an explanation of the internal dynamism of Hegelian concepts and their relation to Christian doctrine in Hegel’s Phenomenology of Spirit. This research may help to show in what way it is possible to explain Christian religious doctrine with a philosophy other than the Thomistic one and how, at least in Hegel’s case, religious doctrine is changed and reduced to an erroneous philosophical content. Also, an attempt is made to show the internal “coherence” of this Hegelian re-reading of Christianity so that theologians may become more cautious about accepting an explanation of Christian doctrine simply because the Christian language is preserved in that explanation. (shrink)

Este artigo apresenta a teoria supervalorativista da vagueza e discute a objecção, que frequentemente lhe é dirigida, segundo a qual essa teoria não consegue dar conta do fenómeno da vagueza de ordem superior.

The following is a paper presented for the Course Rahner and Lonergan at the University of Toronto (Winter, 2014), revised and edited Winter, 2018. Our purpose is to defend the possibility of “perceptualism,” that is to say, the position maintaining that the intelligible content of consciousness is given in perception and not posited by the activity of the subject. Assisted by the insights of Cornelio Fabro, this defense contrasts perceptualism with Bernard Lonergan’s “critical realism”. This paper focuses on the notion (...) of experience, seemingly the basis of the opposition between perceptualism and critical realism. (shrink)

Since its inception, a core aspiration of deliberative democracy has been to enable more and better inclusion within democratic politics. In this article, we argue that deliberative democracy can achieve this aspiration only if it goes beyond verbal forms of communication and acknowledges the crucial role of non-verbal communication in expressing and exchanging arguments. The article develops a multidimensional approach to deliberative democracy by emphasizing the visual, sonic and physical dimensions of communication in public deliberation. We argue that non-verbal modes (...) of communication can contribute to public deliberation when they (1) are used as part of reason-giving processes, (2) enable the inclusion of marginalized actors in public debates and (3) induce reflection and encourage new ways of thinking about the public controversies at hand. (shrink)

Animal replaceability is supposed to be a feature of some consequentialist theories, like Utilitarianism. Roughly, an animal is replaceable if it is permissible to kill it because the disvalue thereby caused will be compensated by the value of a new animal’s life. This is specially troubling since the conditions for such compensation seem easily attainable by improved forms of raising and killing animals. Thus, grounding a strong moral status of animals in such theories is somewhat compromised. As is, consequently, their (...) position as an alternative to rights-based theories in animal ethics. Recognising this, some utilitarians tried to disassociate utilitarianism and replaceability. I will here add my voice to this project. However, instead of seeing the culprit in the usual suspects (hedonism, maximisation or the total view), I advance a new proposal. After identifying that the compensating value for a disvaluable action has to be its consequence, I present a restriction on consequences: consequences of sequences of actions cannot be consequences of the isolated actions in the sequences. Given this, the main argument is simple: killing an animal is permissible only if the the value of the new animal’s life is a consequence of the killing; but this value is a consequence of a sequence of actions which involves the killing plus some additional actions; therefore, since, via the restriction, such value is not a consequence of the killing, it is irrelevant to its normative status. I then present two further motivations for the restriction: firstly, it prevents the value of conditional actions from trivially influencing the value of the actions on which they are conditional; secondly, it is useful – even if not a complete solution – to reply other objections to consequentialism: the accordion effect of action and the cluelessness problem. I finally consider a couple of objections. (shrink)

St. Thomas Aquinas has always considered intelligence a potency higher than the will, absolutely speaking. That being said, and in my view, the existential primacy of the will in the act of freedom (particularly in choosing the existential end) is also indisputably Thomistic, as Cornelio Fabro has shown. This paper endeavors to explain Aquinas' doctrine on the absolute primacy of the intellect and thus show that these two primacies can be affirmed coherently, that is, the intellect’s absolute primacy and the (...) will’s existential primacy. Firstly, I will explain the reasoning St. Thomas Aquinas uses in the Summa to justify the absolute primacy of the intellect over the will. Secondly, I will explore some parallel texts, in order to shed light on my interpretation of the Summa and expand our view regarding this and related doctrinal points. Thirdly, I will offer a brief study of Fabro’s position, one in which his concerns regarding the intellect’s absolute primacy are taken into account and carefully considered. (shrink)

In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.

In this note, my aim is to point out a phenomenon that has not received much attention; a phenomenon that, in my opinion, should not be overlooked in the professional practice of philosophy, especially within feminist efforts for social justice. I am referring to the way in which being a non-native speaker of English interacts with the practice of philosophy.1 There is evidence that non-native speakers are often perceived in prejudiced ways. Such prejudiced perception causes harm and, more importantly, constitutes (...) wrongdoing. As in other cases of prejudiced perception and biased behavior, it would be pretentious and misguided to expect philosophers and the philosophy profession to be free from this vice. There are good reasons to think that this prejudiced perception is bad not only for the persons who are perceived in such a way, but also for the profession, for it might make us miss important things that could improve philosophy in general. I claim we should be more sensitive to this phenomenon, both out of concern for justice, and for the sake of doing better philosophy. (shrink)

he general theme of this paper is the issue of formalization in philosophy; in a more specific way, it deals with the issue of formalization of arguments in analytic philosophy of religion. One argument in particular – Anselm’s Proslogion II ontological argument – and one specific attempt to formalize it – Robert Adams’ formalization found in his paper “The Logical Structure of Anselm’s Arguments”, published in The Philosophical Review in 1971 – are taken as study cases. The purpose of the (...) paper is to critically analyze Adams’ formalization with the intent to shed some light on the following questions: What are the virtues of formally analyzing arguments and the contributions, if any, of such an enterprise to the debate on Anselm’s argument? Which lessons can Adam’s work teach us about the dangers and limitations of formalization? Do these virtues and dangers teach us something about analysis of arguments in general? (shrink)

The terms “model” and “model-building” have been used to characterize the field of formal philosophy, to evaluate philosophy’s and philosophical logic’s progress and to define philosophical logic itself. A model is an idealization, in the sense of being a deliberate simplification of something relatively complex in which several important aspects are left aside, but also in the sense of being a view too perfect or excellent, not found in reality, of this thing. Paraconsistent logic is a branch of philosophical logic. (...) It is however not clear how paraconsistent logic can be seen as model-building. What exactly is modeled? In this paper I adopt the perspective of looking at a particular instance of paraconsistent logic—paranormal modal logic—which might be seen as a model of a specific kind of agent: inductive agents. After ntroducing what I call the highlevel and low-level models of inductive agents, I analyze the extent to which the above-mentioned idealizing features of model-building appear in paranormal modal logic and how they affect its philosophical significance. (shrink)

The main claim of this study is that, contrary to Latour’s view about the need to leave aside epistemology to deal with anything valuable about science, Mario Bunge has consistently built up a detailed and thorough epistemology. The argumentative strategy will be to show that (a) it is not true that we have never been modern (b) epistemology is here to stay, and (c) Mario Bunge endorses a strong scientific realism, a brand of materialism, systemism and emergentism, including a moral (...) dimension (there are objective values like, truth, peace and justice that deserve to be respected). Then, Bunge’s realism rejects axiological neutrality making scientists responsible for their actions. Bunge has always been modern and keeps enriching his own views. (shrink)

This paper introduces the special issue on the Concept of God of the Journal of Applied Logics (College Publications). The issue contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions (...) to the Logical Problem of the Trinity, by Beau Branson; What Means ‘Tri-’ in ‘Trinity’ ? An Eastern Patristic Approach to the ‘Quasi-Ordinals’, by Basil Lourié; The Éminence Grise of Christology: Porphyry’s Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies, by Anna Zhyrkova; The Problem of Universals in Late Patristic Theology, by Dirk Krasmüller; Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues, by Antonino Drago. (shrink)

Ao mesmo tempo que o malogro da assim chamada teoria clássica dos conceitos - de acordo com a qual definições são a maneira apropriada de caracterizar conceitos - é um consenso, a filosofia metafísica da religião parece ainda lidar com o conceito de Deus de forma predominantemente definicional. Podemos então nos perguntar: Seria esse malogro suficiente para inviabilizar uma caracterização definicional do conceito de Deus? Meu propósito central neste artigo é responder essa pergunta. Adoto uma ênfase representacional. Em outras palavras, (...) desejo analisar até que ponto os problemas mais importantes levantados contra a teoria clássica dos conceitos afetam uma abordagem definicional-representacional do conceito de Deus. Como resultado desse esforço, mostro que as críticas à teoria clássica que ameaçam tal abordagem dependem da pluralidade característica ao contexto inter-religioso, que por si só cria outros problemas. (shrink)

What is the distinction between understanding and forming a concept? In my view, for Aquinas, intelligere (the act of understanding) and dicere (the forming of a verbum or mental word) are not two different acts, but simply two different aspects of the same act of understanding. In the following, I will explore more in depth what this distinction means for Aquinas. Firstly, I will give a mostly doctrinal or systematic overview of the issue and, secondly, I will support my claims (...) with relevant textual evidence, taken exclusively from Aquinas’ Summa Theologiae. This study, as an appendix, is part of “The Influence of Kant in Transcendental Thomism: Rahner, Lonergan and Von Balthasar” (forthcoming). In my view, Lonergan’s way of distinguishing intelligere and dicere is different from St. Thomas’ way. In the body of my book, I focus on Lonergan’s reasons to distinguish these notions in his own particular way, whereas this study focuses on St. Thomas’ doctrine. It is my hope that the following lines will foster an understanding of St. Thomas’ epistemology and of its application to Trinitarian theology. (shrink)

POLITICO Studio speaks with Ricardo Marek, President Europe and Canada at Takeda Pharmaceuticals, on why rare diseases need to be a public health priority, and how Europe can remain a leader in life sciences.

Detractors of Searle’s Chinese Room Argument have arrived at a virtual consensus that the mental properties of the Man performing the computations stipulated by the argument are irrelevant to whether computational cognitive science is true. This paper challenges this virtual consensus to argue for the first of the two main theses of the persons reply, namely, that the mental properties of the Man are what matter. It does this by challenging many of the arguments and conceptions put forth by the (...) systems and logical replies to the Chinese Room, either reducing them to absurdity or showing how they lead, on the contrary, to conclusions the persons reply endorses. The paper bases its position on the Chinese Room Argument on additional philosophical considerations, the foundations of the theory of computation, and theoretical and experimental psychology. The paper purports to show how all these dimensions tend to support the proposed thesis of the persons reply. (shrink)

This paper is a follow-up of the first part of the persons reply to the Chinese Room Argument. The first part claims that the mental properties of the person appearing in that argument are what matter to whether computational cognitive science is true. This paper tries to discern what those mental properties are by applying a series of hypothetical psychological and strengthened Turing tests to the person, and argues that the results support the thesis that the Man performing the computations (...) characteristic of understanding Chinese actually understands Chinese. The supposition that the Man does not understand Chinese has gone virtually unquestioned in this foundational debate. The persons reply acknowledges the intuitive power behind that supposition, but knows that brute intuitions are not epistemically sacrosanct. Like many intuitions humans have had, and later deposed, this intuition does not withstand experimental scrutiny. The second part of the persons reply consequently holds that computational cognitive science is confirmed by the Chinese Room thought experiment. (shrink)

Em analogia com outras discriminações, como o racismo ou o sexismo, o especismo é concebido como uma forma de discriminação moral com base na espécie. Em grande medida, a discussão contemporânea sobre a importância moral dos animais surgiu e desenvolveu-se em torno da crítica e da defesa do especismo. Este artigo oferece uma visão da discussão filosófica contemporânea sobre o especismo. Após uma breve introdução, apresenta-se uma definição de especismo e caracterizam-se vários tipos de especismo, sendo o Antropocentrismo o mais (...) relevante. Depois, expõe-se um argumento proeminente contra o Antropocentrismo: o argumento dos casos marginais. Por fim, algumas posições antropocêntricas são criticamente discutidas. (shrink)

Our purpose in this paper is to contribute to the project of meta-theodicy, understood here as the elucidation of the concept of theodicy through the analysis of its adequacy. In our case, the analysis shall be made inside a framework including a taxonomical view of the theodical adequacy conditions which allows for a rigorously acceptable description of them as well as for a natural appraisal of the role, importance and intra-logical relations holding between them. The result of the analysis shall (...) be used to introduce definitions minimally precise of the notions of theodicy, satisfactory theodicy, plausible theodicy, ideal theodicy, and the like. (shrink)

It is a fact that there is ethical criticism about art. Art critics, the general public and even artists point out moral flaws in artworks while evaluating them. Philosophers, however, have maintained a hot debate on the meaning of such criticism. This debate can be understood as a disagreement about the kind of relation between the artistic value of artworks and their alleged moral value. While some claim that moral value can contribute to artistic value (moralism), others claim that there (...) cannot be such a contribution (autonomism). Since at least some works of architecture are artworks, that debate also concerns architecture. A moderate moralist view claims that some works of architecture have moral flaws/merits that bear on their artistic evaluation. In an apparently promising version, the contention is that some moral flaws/merits are aesthetically relevant. In this paper I argue against such contention and defend an autonomist view. Following some taxonomy remarks I distinguish the views in the debate and present two points in favour of autonomism: its simplicity and not having the burden of proof. Then I discuss Carroll’s merited response argument for moralism and I argue that in its best interpretation either it begs the question against autonomism or it is compatible with it. I conclude with some possible objections that may help further investigations on the subject. (shrink)

Este livro se propõe a ser uma introdução fácil e acessível, porém rigorosa e tecnicamente precisa, à lógica. Prioridade é dada à clareza e lucidez na explicação das definições e teoremas, bem como à aplicação prática da lógica na análise de argumentos. O livro foi concebido de forma a permitir sua utilização por qualquer pessoa interessada em aprender lógica, independentemente de sua área de atuação ou bagagem teórica prévia. Em especial, ele deve ser útil a estudantes e professores de filosofia, (...) computação e matemática. (shrink)

This book analyses the concepts of God in Vaisnavism, which is commonly referred to as one of the great Hindu monotheistic traditions. Addressing the question of what attributes God possesses according to particular textual sources and traditions in Vaisnavism, the book analyses Vaisnava traditions and texts in order to locate them within a global philosophical framework. The book is divided into two sections. The first one, God in Vaisnava Texts, deals with concepts of God found in the canonical Vaisnava texts: (...) the Bhavagad Gita, the Bhagavata Purana, the Pancaratras, and the Mahabharata. The second section, God in Vaisnava Traditions, addresses concepts of God found in several Vaisnava traditions and their respective key theologians. As well as the Alvars, five traditional Vaisnava schools- the Sri Vaisnava tradition, the Madhva tradition, the Nimbarka tradition, the Pustimarga tradition, and the Caitanya Vaisnava tradition- and two contemporary ones Ramakrishna's and Swami Bhaktivedanta's are considered. The book combines normative, critical and descriptive elements. Some chapters are philosophical in nature, others are more descriptive, unpacking a specific Vaiṣṇava concept of God for future philosophical analysis and critique. Written by experts who break new ground in presenting and representing a diversity of Vaiṣṇava texts and tradition, the book presents approaches that reflect the amount of philosophical and historical deliberation on the specific issues and divine attributes considered. This book will be of interest to researchers in the fields of philosophy of religion and Indian philosophy, cross-cultural and comparative philosophy, analytic philosophy of religion, Hindu studies, theology and religious studies. (shrink)

The semantic paradoxes are a family of arguments – including the liar paradox, Curry’s paradox, Grelling’s paradox of heterologicality, Richard’s and Berry’s paradoxes of definability, and others – which have two things in common: first, they make an essential use of such semantic concepts as those of truth, satisfaction, reference, definition, etc.; second, they seem to be very good arguments until we see that their conclusions are contradictory or absurd. These arguments raise serious doubts concerning the coherence of the concepts (...) involved. This article will offer an introduction to some of the main theories that have been proposed to solve the paradoxes and avert those doubts. Included is also a brief history of the semantic paradoxes from Eubulides to Tarski and Curry. (shrink)

In this paper, I argue that the cleavage between the theory of reference and the theory of meaning, which under the influence of Quine has dominated a large part of the philosophy of language of the last fifty years, is based on a misrepresentation of Tarski's achievement and on an overestimation of the scope and value of disquotation. In particular, I show that, if we accept Davidson's critique of disquotation, the same kind of reasons that Quine offered in opposition to (...) the Carnapian theory of meaning also apply, mutatis mutandis, to the Tarskian theory of reference. (shrink)

This work, in English "Struggle for power, organic crisis and judicial independence", has its origin in research academics of the IAEN carried out to provide expert advise to the Inter American Court of Human Rights in the case Quintana and others (Supreme Court of Justice) vs the State of Ecuador. The research is about the nature of the evolution of the ecuadorian state, the dynamics of its institutions, its players, parties, laws, its factors of instability, the way rights have been (...) deployed since the return to democracy in 1979, those who have benefited from neoliberal democracy and those who have paid the costs, and where in all this was the Supreme Court of Justice. The Introduction takes a look at this origin of the work and its intellectual import, provides a brief characterization of the Inter American Sistem of Human Rights Protection, how the Quintana Case fits within it, and an overview of the chapters and their logic. The first chapter analyzes the institutional and sociological factors that have contributed to Ecuador's historically unstable state, based primarily in an antagonistic struggle for power between the Executive and Legislative branches. The second chapter analyzes the economic and political factors that provoked an organic crisis, or crisis of hegemony, between 1997 and 2007 in Ecuador. The third chapter analyzes the evolution of the way in which judges are selected in Europe, the outcomes they have generated, and how they compare with the ecuadorian systems of judge selection in terms of securing judicial independence. The fourth chapter develops a theory of judicial independence in democracy and analyzes how Ecuador measures up to that standard, from when it became a neoliberal minimal democracy in 1981, to when it became a neoliberal false democracy as a consequence of instalation of a system evidently lacking in the people's support under the guise of the 1998 Constitution and its system of judge selection, and the new democratic horizons set by the 2008 Constitution, and the judicial system that springs from it. (shrink)

The thesis develops solutions to two main problems for mental realism. Mental realism is the theory that mental properties, events, and objects exist, with their own set of characters and causal powers. The first problem comes from the philosophy of science, where Psillos proposes a notion of scientific realism that contradicts mental realism, and consequently, if one is to be a scientific realist in the way Psillos recommends, one must reject mental realism. I propose adaptations to the conception of scientific (...) realism to make it compatible with mental realism. In the process, the thesis defends computational cognitive science from a compelling argument Searle can be seen to endorse but has not put forth in an organized logical manner. A new conception of scientific realism emerges out of this inquiry, integrating the mental into the rest of nature. The second problem for mental realism arises out of non-reductive physicalism- the view that higher-level properties, and in particular mental properties, are irreducible, physically realized, and that physical properties are sufficient non-overdetermining causes of any effect. Kim’s Problem of Causal Exclusion aims to show that the mental, if unreduced, does no causal work. Consequently, given that we should not believe in the existence of properties that do not participate in causation, we would be forced to drop mental realism. A solution is needed. The thesis examines various positions relevant to the debate. Several doctrines of physicalism are explored, rejected, and one is proposed; the thesis shows the way in which Kim’s reductionist position has been constantly inconsistent throughout the years of debate; the thesis argues that trope theory does not compete with a universalist conception of properties to provide a solution; and shows weakness in the Macdonald’s non-reductive monist position and Pereboom’s constitutional coincidence account of mental causation. The thesis suggests that either the premises of Kim’s argument are consistent, and consequently his reductio is logically invalid, or at least one of the premises is false, and therefore the argument is not sound. Consequently, the Problem of Causal Exclusion that Kim claims emerges out of non-reductive physicalism does not force us to reject mental realism. Mental realism lives on. (shrink)

The following is an interpretation of Aquinas’ agent intellect focusing on Summa Theologiae I, qq. 75-89, and proposing that the agent intellect is a metaphysical rather than a formal a priori of human understanding. A formal a priori is responsible for the intelligibility as content of the object of human understanding and is related to Kant’s epistemological views; whereas a metaphysical a priori is responsible for intelligibility as mode of being of this same object. We can find in Aquinas’ text (...) many indications that the agent intellect is not productive of the universal as content but is, rather, productive of the abstracted or intelligible mode of being of the universal nature. This is because for Aquinas the universal nature, which is the object of human understanding, is present in the things themselves but with a different mode of being. Chapter 1 is intended to establish the fact which requires for Aquinas an agent intellect, and provides two very important principles: one is that the object of human understanding (the universal nature) is present in the things themselves and, the other, that it is not in the things themselves with a mode of being which makes it available to the intellectual eye. These two principles lead us to the main point of Chapter 2, namely the distinction between the intelligible object and its intelligible mode of being. Now, because knowing is receptive of the intelligible object (Chapter 3), which is present in the things themselves (Chapter 1), the agent intellect is productive not of the object’s intelligible content, but of its abstracted or intelligible mode of being (Chapter 4). (shrink)

This paper is an attempt to clarify, from a Thomistic point of view, the nature and method of metaphysics. I argue that metaphysics' object is created being, not God, even if God enters metaphysics as efficient cause of metaphysic's object. Also, that metaphysics is a science, insofar as a particular kind of coherent reasoning process, going from the many to understand a certain oneness, and then from that oneness to reinterpret the many. Moreover, that, in this particular process of reasoning, (...) doctrinal topics must follow a certain order. Thus, in particular, I argue that the distinction between essence and act of being in every creature cannot be argued before arguing the existence of God. I touch upon the notion of separation in metaphysics and I compare Aquinas' notion of resolution with Fabro's notion. (shrink)